"truth-functional logic" meaning in English

{
  "antonyms": [
    {
      "word": "predicate logic"
    },
    {
      "word": "quantificational logic"
    },
    {
      "word": "modal logic"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "head": "truth-functional logic"
      },
      "expansion": "truth-functional logic (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              0,
              22
            ]
          ],
          "ref": "1967, Benson Mates, Elementary Logic, Oxford University Press, page 75:",
          "text": "Truth-functional logic is concerned exclusively with the compounding of sentences by means of the truth-functional connectives 'not', 'and', 'or', 'if–then', and 'if and only if'.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure."
      ],
      "id": "en-truth-functional_logic-en-noun-Dm4D2Chx",
      "links": [
        [
          "logic",
          "logic"
        ]
      ],
      "raw_glosses": [
        "(logic) The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure."
      ],
      "related": [
        {
          "word": "truth table"
        },
        {
          "word": "truth function"
        },
        {
          "word": "logical connective"
        }
      ],
      "synonyms": [
        {
          "word": "propositional logic"
        },
        {
          "word": "sentential logic"
        },
        {
          "word": "statement logic"
        },
        {
          "word": "Boolean logic"
        }
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "truth-functional logic"
}

{
  "antonyms": [
    {
      "word": "predicate logic"
    },
    {
      "word": "quantificational logic"
    },
    {
      "word": "modal logic"
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "-",
        "head": "truth-functional logic"
      },
      "expansion": "truth-functional logic (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "truth table"
    },
    {
      "word": "truth function"
    },
    {
      "word": "logical connective"
    }
  ],
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with quotations",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Logic"
      ],
      "examples": [
        {
          "bold_text_offsets": [
            [
              0,
              22
            ]
          ],
          "ref": "1967, Benson Mates, Elementary Logic, Oxford University Press, page 75:",
          "text": "Truth-functional logic is concerned exclusively with the compounding of sentences by means of the truth-functional connectives 'not', 'and', 'or', 'if–then', and 'if and only if'.",
          "type": "quotation"
        }
      ],
      "glosses": [
        "The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure."
      ],
      "links": [
        [
          "logic",
          "logic"
        ]
      ],
      "raw_glosses": [
        "(logic) The logic of truth-functional combinations of simple sentences; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their truth-functional structure."
      ],
      "tags": [
        "uncountable"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "synonyms": [
    {
      "word": "propositional logic"
    },
    {
      "word": "sentential logic"
    },
    {
      "word": "statement logic"
    },
    {
      "word": "Boolean logic"
    }
  ],
  "word": "truth-functional logic"
}